00100	                     COMPUTER SCIENCE DEPARTMENT
00200	
00300	Acting Chairman: John G. Herriot
00400	
00500	Primary Research Interests of Faculty and Research Staff Members
00600	
00700	Professors:
00800	George B. Dantzig, mathematical programming.
00900	Edward A. Feigenbaum, heuristic search methods.
01000	Robert W. Floyd, mathematical theory of computation.
01100	Gene H. Golub, numerical analysis.
01200	John G. Herriot, numerical analysis.
01300	Donald E. Knuth, analysis of algorithms.
01400	John McCarthy, artificial intelligence, mathematical theory of comp.
01500	Edward J. McCluskey, computer engineering.
01600	
01700	Associate Professors:
01800	Jerome A. Feldman, computer vision, grammatical inference.
01900	Harold S. Stone, computer engineering.
02000	Zohar Manna, mathematical theory of computation.
02100	
02200	Assistant Professors:
02300	Thomas H. Bredt, computer engineering.
02400	Edward S. Davidson, computer engineering.
02500	C. Cordell Green, theorem proving.
02600	Roger C. Schank, linguistics, machine translation.
02700	
02800	Senior Research Associates:
02900	Kenneth M. Colby, higher mental functions.
03000	Arthur L. Samual, machine learning, speech recognition.
03100	
03200	Research Computer Scientists:
03300	Bruce G. Buchanan, heuristic search methods.
03400	Lester D. Earnest, computer vision.
03500	David C. Luckham, theorem proving.
03600	
03700	Research Associates:
03800	Thomas O. Binford, computer vision.
03900	Horace Enea, higher mental functions, programming languages.
04000	Robert S. Engelmore, heuristic search methods.
04100	Franklin D. Hilf, higher mental functions.
04200	Shigeru Igarashi, mathematical theory of computation.
04300	David A. Klarner,?.
04400	Ralph London, mathematical theory of computation.
04500	Robin Milner, mathematical theory of computation.
04600	Paul Shields, grammatical inference.
04700	Yorick Wilks, machine translation.
04800	
04900	
05000	
     

05100	Research Projects
05200	
05300	ARTIFICIAL INTELLIGENCE LABORATORY
05400	
05500	Director: John McCarthy
05600	Executive Officer: Lester Earnest
05700	
05800	Research  group  leaders:   Thomas  Binford,  Kenneth  Colby,  Jerome
05900	Feldman,  Robert  Floyd,  David Luckham, John McCarthy, Robin Milner,
06000	Philip Petit, Arthur Samuel,  John  Chowning,  Roger  Schank,  Yorick
06100	Wilks
06200	
06300	Sources  of  support:   Advanced  Research  Projects  Agency  of  the
06400	Department of Defense, National Institutes of Mental Health, National
06500	Aeronautics and Space Administration.
06600	
06700		The  Artificial  Intelligence Laboratory is located in the D.
06800	C.   Power Building, 1600  Arastradero  Road.   Its  research  is  in
06900	artificial  intelligence,  mathematical  theory  of computation, time
07000	sharing,  human  higher  mental  functions,  semantics   of   natural
07100	languages,  symbolic  computation, and related topics.  It operates a
07200	time-sharing system based on PDP-6  and  PDP-10  computers  including
07300	about  35  display  consoles, computer controlled television cameras,
07400	computer controlled artificial hands, a computer controlled  vehicle,
07500	and  other  on-line  devices.  The Laboratory is part of the Computer
07600	Science Department, but its  facilities  are  used  by  students  and
07700	faculty  of  the  departments  of  Electrical Engineering, Mechanical
07800	Engineering, Linguistics, Psychology, Music, and others for  projects
07900	that contribute to the research goals of the Laboratory.
08000	
08100		Research  appointments  at  the pre- and post-doctoral levels
08200	are  available.   New  graduate  students  in  Computer  Science  are
08300	automatically  considered  for  appointment as Research Assistants in
08400	the Laboratory.  Graduate students in  other  departments  may  apply
08500	directly.